『On Optimistic Methods for Concurrency Control』